Boolean satisfiability problem - PDFSEARCH.IO - Document Search Engine

Boolean satisfiability problem
Results: 324

#	Item
251	SATLIB: An Online Resource for Research on SAT Holger H. Hoos ([removed]) Department of Computer Science University of British Columbia Vancouver, Canada Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2001-08-31 14:15:31 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Satz Graph coloring Theoretical computer science Mathematics Applied mathematics
252	jn2004[removed]Complexity: P & NP Goals of this chapter: Given a model of computation and a measure of complexity of computations, it is possible to define the inherent complexity of a class of problems. This is a lowe Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:14 Complexity classes NP-complete problems Mathematical optimization Boolean algebra NP-complete Boolean satisfiability problem P versus NP problem NP Clique problem Theoretical computer science Computational complexity theory Applied mathematics
253	7. Complexity: P & NP Optimization Problems find an optimal solution, most common in praxis implies Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2005-11-28 16:45:16 Complexity classes NP P versus NP problem Boolean satisfiability problem P Time complexity Optimization problem Reduction Cook–Levin theorem Theoretical computer science Computational complexity theory Applied mathematics
254	Journal on Satisfiability, Boolean Modeling and Computation[removed]The Sat4j library, release 2.2 system description Daniel Le Berre∗ Anne Parrain Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2010-07-09 05:53:23 Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Solver Satz ECLiPSe Unsatisfiable core Theoretical computer science Applied mathematics Constraint programming
255	Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 10:09:14 Software engineering Constraint satisfaction Mathematical optimization Boolean satisfiability problem Solver Answer set programming Constraint Constraint logic programming AC-3 algorithm Constraint programming Declarative programming Theoretical computer science
256	IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, VOL. 3, NO. 3, SEPTEMBER[removed]Answer Set Programming for Procedural Content Generation: A Design Space Approach Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:47 Programming paradigms Logic programming Constraint programming Operations research NP-complete problems Answer set programming Maze Boolean satisfiability problem Solver Software engineering Theoretical computer science Computing
257	A Case Study of Expressively Constrainable Level Design Automation Tools for a Puzzle Game Adam M. Smith∗† , Erik Andersen† , Michael Mateas∗ , Zoran Popovi´c† ∗ † Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:50 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Puzzle Answer set programming Boolean satisfiability problem Constraint satisfaction problem Theoretical computer science Constraint programming Mathematics
258	Cause Clue Clauses: Error Localization using Maximum Satisfiability ∗ Manu Jose Rupak Majumdar Add to Reading List Source URL: bugassist.mpi-sws.org Language: English - Date: 2011-03-24 00:18:44 Logic in computer science Boolean satisfiability problem Maximum satisfiability problem Unsatisfiable core Software bug Conjunctive normal form Debugging Assertion Algorithm Theoretical computer science Applied mathematics Mathematics

UPDATE